{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "id": "e0295b7c-18c6-4f6b-b662-dd54b3ead103",
   "metadata": {
    "tags": []
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Looking in indexes: http://mirrors.aliyun.com/pypi/simple/\n",
      "Collecting sympy\n",
      "  Downloading http://mirrors.aliyun.com/pypi/packages/d2/05/e6600db80270777c4a64238a98d442f0fd07cc8915be2a1c16da7f2b9e74/sympy-1.12-py3-none-any.whl (5.7 MB)\n",
      "                                              0.0/5.7 MB ? eta -:--:--\n",
      "                                              0.1/5.7 MB 1.7 MB/s eta 0:00:04\n",
      "                                              0.1/5.7 MB 1.2 MB/s eta 0:00:05\n",
      "     -                                        0.2/5.7 MB 1.1 MB/s eta 0:00:05\n",
      "     -                                        0.2/5.7 MB 1.2 MB/s eta 0:00:05\n",
      "     -                                        0.3/5.7 MB 1.1 MB/s eta 0:00:06\n",
      "     --                                       0.4/5.7 MB 1.3 MB/s eta 0:00:05\n",
      "     --                                       0.4/5.7 MB 1.3 MB/s eta 0:00:05\n",
      "     ---                                      0.5/5.7 MB 1.3 MB/s eta 0:00:04\n",
      "     ---                                      0.5/5.7 MB 1.3 MB/s eta 0:00:04\n",
      "     ----                                     0.6/5.7 MB 1.3 MB/s eta 0:00:05\n",
      "     ----                                     0.6/5.7 MB 1.2 MB/s eta 0:00:05\n",
      "     ----                                     0.7/5.7 MB 1.3 MB/s eta 0:00:05\n",
      "     ----                                     0.7/5.7 MB 1.2 MB/s eta 0:00:05\n",
      "     -----                                    0.8/5.7 MB 1.2 MB/s eta 0:00:05\n",
      "     -----                                    0.8/5.7 MB 1.1 MB/s eta 0:00:05\n",
      "     -----                                    0.8/5.7 MB 1.1 MB/s eta 0:00:05\n",
      "     -----                                    0.8/5.7 MB 1.1 MB/s eta 0:00:05\n",
      "     ------                                   0.9/5.7 MB 1.1 MB/s eta 0:00:05\n",
      "     ------                                   0.9/5.7 MB 1.0 MB/s eta 0:00:05\n",
      "     ------                                   0.9/5.7 MB 1.0 MB/s eta 0:00:05\n",
      "     ------                                   1.0/5.7 MB 1.0 MB/s eta 0:00:05\n",
      "     ------                                   1.0/5.7 MB 999.0 kB/s eta 0:00:05\n",
      "     -------                                  1.0/5.7 MB 979.0 kB/s eta 0:00:05\n",
      "     -------                                  1.1/5.7 MB 968.9 kB/s eta 0:00:05\n",
      "     -------                                  1.1/5.7 MB 947.8 kB/s eta 0:00:05\n",
      "     -------                                  1.1/5.7 MB 940.3 kB/s eta 0:00:05\n",
      "     --------                                 1.2/5.7 MB 925.7 kB/s eta 0:00:05\n",
      "     --------                                 1.2/5.7 MB 908.6 kB/s eta 0:00:06\n",
      "     --------                                 1.2/5.7 MB 917.6 kB/s eta 0:00:05\n",
      "     ---------                                1.3/5.7 MB 928.2 kB/s eta 0:00:05\n",
      "     ---------                                1.3/5.7 MB 926.4 kB/s eta 0:00:05\n",
      "     ---------                                1.4/5.7 MB 920.8 kB/s eta 0:00:05\n",
      "     ---------                                1.4/5.7 MB 905.7 kB/s eta 0:00:05\n",
      "     ---------                                1.4/5.7 MB 900.8 kB/s eta 0:00:05\n",
      "     ---------                                1.4/5.7 MB 895.5 kB/s eta 0:00:05\n",
      "     ----------                               1.5/5.7 MB 876.3 kB/s eta 0:00:05\n",
      "     ----------                               1.5/5.7 MB 871.9 kB/s eta 0:00:05\n",
      "     ----------                               1.5/5.7 MB 876.2 kB/s eta 0:00:05\n",
      "     ----------                               1.5/5.7 MB 856.7 kB/s eta 0:00:05\n",
      "     ----------                               1.6/5.7 MB 850.1 kB/s eta 0:00:05\n",
      "     -----------                              1.6/5.7 MB 846.5 kB/s eta 0:00:05\n",
      "     -----------                              1.6/5.7 MB 847.6 kB/s eta 0:00:05\n",
      "     -----------                              1.7/5.7 MB 846.5 kB/s eta 0:00:05\n",
      "     -----------                              1.7/5.7 MB 836.9 kB/s eta 0:00:05\n",
      "     ------------                             1.7/5.7 MB 834.3 kB/s eta 0:00:05\n",
      "     ------------                             1.8/5.7 MB 833.7 kB/s eta 0:00:05\n",
      "     ------------                             1.8/5.7 MB 825.4 kB/s eta 0:00:05\n",
      "     ------------                             1.8/5.7 MB 826.4 kB/s eta 0:00:05\n",
      "     ------------                             1.9/5.7 MB 818.3 kB/s eta 0:00:05\n",
      "     -------------                            1.9/5.7 MB 819.4 kB/s eta 0:00:05\n",
      "     -------------                            1.9/5.7 MB 811.7 kB/s eta 0:00:05\n",
      "     -------------                            1.9/5.7 MB 809.8 kB/s eta 0:00:05\n",
      "     -------------                            2.0/5.7 MB 807.9 kB/s eta 0:00:05\n",
      "     -------------                            2.0/5.7 MB 800.8 kB/s eta 0:00:05\n",
      "     -------------                            2.0/5.7 MB 794.0 kB/s eta 0:00:05\n",
      "     --------------                           2.0/5.7 MB 787.4 kB/s eta 0:00:05\n",
      "     --------------                           2.1/5.7 MB 791.3 kB/s eta 0:00:05\n",
      "     --------------                           2.1/5.7 MB 792.7 kB/s eta 0:00:05\n",
      "     ---------------                          2.2/5.7 MB 786.5 kB/s eta 0:00:05\n",
      "     ---------------                          2.2/5.7 MB 784.3 kB/s eta 0:00:05\n",
      "     ---------------                          2.2/5.7 MB 777.2 kB/s eta 0:00:05\n",
      "     ---------------                          2.3/5.7 MB 771.7 kB/s eta 0:00:05\n",
      "     ---------------                          2.3/5.7 MB 770.5 kB/s eta 0:00:05\n",
      "     ---------------                          2.3/5.7 MB 769.4 kB/s eta 0:00:05\n",
      "     ----------------                         2.3/5.7 MB 760.1 kB/s eta 0:00:05\n",
      "     ----------------                         2.3/5.7 MB 759.1 kB/s eta 0:00:05\n",
      "     ----------------                         2.4/5.7 MB 753.3 kB/s eta 0:00:05\n",
      "     ----------------                         2.4/5.7 MB 748.6 kB/s eta 0:00:05\n",
      "     ----------------                         2.4/5.7 MB 751.0 kB/s eta 0:00:05\n",
      "     ----------------                         2.4/5.7 MB 751.0 kB/s eta 0:00:05\n",
      "     -----------------                        2.4/5.7 MB 739.4 kB/s eta 0:00:05\n",
      "     -----------------                        2.5/5.7 MB 735.1 kB/s eta 0:00:05\n",
      "     -----------------                        2.5/5.7 MB 730.4 kB/s eta 0:00:05\n",
      "     -----------------                        2.5/5.7 MB 729.5 kB/s eta 0:00:05\n",
      "     -----------------                        2.5/5.7 MB 722.5 kB/s eta 0:00:05\n",
      "     -----------------                        2.5/5.7 MB 722.5 kB/s eta 0:00:05\n",
      "     -----------------                        2.6/5.7 MB 718.7 kB/s eta 0:00:05\n",
      "     ------------------                       2.6/5.7 MB 714.5 kB/s eta 0:00:05\n",
      "     ------------------                       2.6/5.7 MB 711.0 kB/s eta 0:00:05\n",
      "     ------------------                       2.7/5.7 MB 710.3 kB/s eta 0:00:05\n",
      "     ------------------                       2.7/5.7 MB 709.9 kB/s eta 0:00:05\n",
      "     ------------------                       2.7/5.7 MB 706.5 kB/s eta 0:00:05\n",
      "     -------------------                      2.7/5.7 MB 705.6 kB/s eta 0:00:05\n",
      "     -------------------                      2.8/5.7 MB 702.5 kB/s eta 0:00:05\n",
      "     -------------------                      2.8/5.7 MB 701.9 kB/s eta 0:00:05\n",
      "     -------------------                      2.9/5.7 MB 709.0 kB/s eta 0:00:05\n",
      "     --------------------                     2.9/5.7 MB 710.9 kB/s eta 0:00:05\n",
      "     --------------------                     2.9/5.7 MB 713.1 kB/s eta 0:00:04\n",
      "     --------------------                     3.0/5.7 MB 709.6 kB/s eta 0:00:04\n",
      "     --------------------                     3.0/5.7 MB 706.5 kB/s eta 0:00:04\n",
      "     --------------------                     3.0/5.7 MB 711.3 kB/s eta 0:00:04\n",
      "     ---------------------                    3.1/5.7 MB 707.9 kB/s eta 0:00:04\n",
      "     ---------------------                    3.1/5.7 MB 707.4 kB/s eta 0:00:04\n",
      "     ---------------------                    3.1/5.7 MB 707.1 kB/s eta 0:00:04\n",
      "     ---------------------                    3.1/5.7 MB 707.1 kB/s eta 0:00:04\n",
      "     ---------------------                    3.1/5.7 MB 707.1 kB/s eta 0:00:04\n",
      "     ---------------------                    3.1/5.7 MB 707.1 kB/s eta 0:00:04\n",
      "     ---------------------                    3.1/5.7 MB 707.1 kB/s eta 0:00:04\n",
      "     ----------------------                   3.2/5.7 MB 691.0 kB/s eta 0:00:04\n",
      "     ----------------------                   3.2/5.7 MB 688.4 kB/s eta 0:00:04\n",
      "     ----------------------                   3.2/5.7 MB 688.0 kB/s eta 0:00:04\n",
      "     ----------------------                   3.3/5.7 MB 685.5 kB/s eta 0:00:04\n",
      "     -----------------------                  3.3/5.7 MB 685.2 kB/s eta 0:00:04\n",
      "     -----------------------                  3.3/5.7 MB 682.8 kB/s eta 0:00:04\n",
      "     -----------------------                  3.3/5.7 MB 682.7 kB/s eta 0:00:04\n",
      "     -----------------------                  3.4/5.7 MB 682.4 kB/s eta 0:00:04\n",
      "     -----------------------                  3.4/5.7 MB 682.3 kB/s eta 0:00:04\n",
      "     -----------------------                  3.4/5.7 MB 681.9 kB/s eta 0:00:04\n",
      "     ------------------------                 3.5/5.7 MB 681.6 kB/s eta 0:00:04\n",
      "     ------------------------                 3.5/5.7 MB 681.3 kB/s eta 0:00:04\n",
      "     ------------------------                 3.5/5.7 MB 681.1 kB/s eta 0:00:04\n",
      "     ------------------------                 3.6/5.7 MB 681.0 kB/s eta 0:00:04\n",
      "     ------------------------                 3.6/5.7 MB 678.8 kB/s eta 0:00:04\n",
      "     -------------------------                3.6/5.7 MB 680.6 kB/s eta 0:00:04\n",
      "     -------------------------                3.6/5.7 MB 678.5 kB/s eta 0:00:04\n",
      "     -------------------------                3.7/5.7 MB 678.1 kB/s eta 0:00:04\n",
      "     -------------------------                3.7/5.7 MB 678.0 kB/s eta 0:00:04\n",
      "     -------------------------                3.7/5.7 MB 674.0 kB/s eta 0:00:04\n",
      "     --------------------------               3.8/5.7 MB 673.8 kB/s eta 0:00:03\n",
      "     --------------------------               3.8/5.7 MB 679.2 kB/s eta 0:00:03\n",
      "     --------------------------               3.9/5.7 MB 680.9 kB/s eta 0:00:03\n",
      "     ---------------------------              3.9/5.7 MB 686.0 kB/s eta 0:00:03\n",
      "     ---------------------------              3.9/5.7 MB 685.9 kB/s eta 0:00:03\n",
      "     ---------------------------              4.0/5.7 MB 683.9 kB/s eta 0:00:03\n",
      "     ---------------------------              4.0/5.7 MB 685.2 kB/s eta 0:00:03\n",
      "     ----------------------------             4.0/5.7 MB 683.2 kB/s eta 0:00:03\n",
      "     ----------------------------             4.1/5.7 MB 684.9 kB/s eta 0:00:03\n",
      "     ----------------------------             4.1/5.7 MB 682.9 kB/s eta 0:00:03\n",
      "     ----------------------------             4.1/5.7 MB 682.7 kB/s eta 0:00:03\n",
      "     ----------------------------             4.1/5.7 MB 682.6 kB/s eta 0:00:03\n",
      "     ----------------------------             4.2/5.7 MB 682.3 kB/s eta 0:00:03\n",
      "     -----------------------------            4.2/5.7 MB 680.3 kB/s eta 0:00:03\n",
      "     -----------------------------            4.2/5.7 MB 680.2 kB/s eta 0:00:03\n",
      "     -----------------------------            4.2/5.7 MB 678.4 kB/s eta 0:00:03\n",
      "     -----------------------------            4.3/5.7 MB 678.3 kB/s eta 0:00:03\n",
      "     -----------------------------            4.3/5.7 MB 676.4 kB/s eta 0:00:03\n",
      "     ------------------------------           4.3/5.7 MB 677.8 kB/s eta 0:00:03\n",
      "     ------------------------------           4.4/5.7 MB 677.8 kB/s eta 0:00:03\n",
      "     ------------------------------           4.4/5.7 MB 675.9 kB/s eta 0:00:02\n",
      "     ------------------------------           4.4/5.7 MB 677.4 kB/s eta 0:00:02\n",
      "     -------------------------------          4.5/5.7 MB 675.6 kB/s eta 0:00:02\n",
      "     -------------------------------          4.5/5.7 MB 677.2 kB/s eta 0:00:02\n",
      "     -------------------------------          4.5/5.7 MB 673.8 kB/s eta 0:00:02\n",
      "     -------------------------------          4.5/5.7 MB 676.9 kB/s eta 0:00:02\n",
      "     -------------------------------          4.5/5.7 MB 673.6 kB/s eta 0:00:02\n",
      "     -------------------------------          4.6/5.7 MB 670.5 kB/s eta 0:00:02\n",
      "     -------------------------------          4.6/5.7 MB 671.9 kB/s eta 0:00:02\n",
      "     --------------------------------         4.6/5.7 MB 670.3 kB/s eta 0:00:02\n",
      "     --------------------------------         4.6/5.7 MB 668.7 kB/s eta 0:00:02\n",
      "     --------------------------------         4.7/5.7 MB 668.6 kB/s eta 0:00:02\n",
      "     --------------------------------         4.7/5.7 MB 668.6 kB/s eta 0:00:02\n",
      "     --------------------------------         4.7/5.7 MB 667.0 kB/s eta 0:00:02\n",
      "     ---------------------------------        4.8/5.7 MB 666.9 kB/s eta 0:00:02\n",
      "     ---------------------------------        4.8/5.7 MB 666.8 kB/s eta 0:00:02\n",
      "     ---------------------------------        4.8/5.7 MB 665.3 kB/s eta 0:00:02\n",
      "     ---------------------------------        4.8/5.7 MB 665.3 kB/s eta 0:00:02\n",
      "     ---------------------------------        4.9/5.7 MB 666.6 kB/s eta 0:00:02\n",
      "     ----------------------------------       4.9/5.7 MB 666.5 kB/s eta 0:00:02\n",
      "     ----------------------------------       4.9/5.7 MB 665.1 kB/s eta 0:00:02\n",
      "     ----------------------------------       5.0/5.7 MB 665.0 kB/s eta 0:00:02\n",
      "     ----------------------------------       5.0/5.7 MB 663.6 kB/s eta 0:00:02\n",
      "     ----------------------------------       5.0/5.7 MB 664.9 kB/s eta 0:00:02\n",
      "     -----------------------------------      5.1/5.7 MB 668.9 kB/s eta 0:00:01\n",
      "     -----------------------------------      5.1/5.7 MB 670.2 kB/s eta 0:00:01\n",
      "     -----------------------------------      5.2/5.7 MB 671.4 kB/s eta 0:00:01\n",
      "     -----------------------------------      5.2/5.7 MB 671.4 kB/s eta 0:00:01\n",
      "     -----------------------------------      5.2/5.7 MB 671.4 kB/s eta 0:00:01\n",
      "     -----------------------------------      5.2/5.7 MB 671.4 kB/s eta 0:00:01\n",
      "     -----------------------------------      5.2/5.7 MB 671.4 kB/s eta 0:00:01\n",
      "     -------------------------------------    5.3/5.7 MB 670.9 kB/s eta 0:00:01\n",
      "     -------------------------------------    5.3/5.7 MB 669.6 kB/s eta 0:00:01\n",
      "     -------------------------------------    5.4/5.7 MB 669.4 kB/s eta 0:00:01\n",
      "     -------------------------------------    5.4/5.7 MB 668.2 kB/s eta 0:00:01\n",
      "     -------------------------------------    5.4/5.7 MB 668.0 kB/s eta 0:00:01\n",
      "     -------------------------------------    5.4/5.7 MB 668.0 kB/s eta 0:00:01\n",
      "     --------------------------------------   5.5/5.7 MB 667.9 kB/s eta 0:00:01\n",
      "     --------------------------------------   5.5/5.7 MB 667.9 kB/s eta 0:00:01\n",
      "     --------------------------------------   5.5/5.7 MB 667.7 kB/s eta 0:00:01\n",
      "     --------------------------------------   5.6/5.7 MB 667.7 kB/s eta 0:00:01\n",
      "     --------------------------------------   5.6/5.7 MB 666.4 kB/s eta 0:00:01\n",
      "     ---------------------------------------  5.6/5.7 MB 665.1 kB/s eta 0:00:01\n",
      "     ---------------------------------------  5.7/5.7 MB 667.5 kB/s eta 0:00:01\n",
      "     ---------------------------------------  5.7/5.7 MB 667.4 kB/s eta 0:00:01\n",
      "     ---------------------------------------  5.7/5.7 MB 667.3 kB/s eta 0:00:01\n",
      "     ---------------------------------------- 5.7/5.7 MB 664.6 kB/s eta 0:00:00\n",
      "Collecting mpmath>=0.19 (from sympy)\n",
      "  Downloading http://mirrors.aliyun.com/pypi/packages/43/e3/7d92a15f894aa0c9c4b49b8ee9ac9850d6e63b03c9c32c0367a13ae62209/mpmath-1.3.0-py3-none-any.whl (536 kB)\n",
      "                                              0.0/536.2 kB ? eta -:--:--\n",
      "     --                                    41.0/536.2 kB 991.0 kB/s eta 0:00:01\n",
      "     ----                                  61.4/536.2 kB 656.4 kB/s eta 0:00:01\n",
      "     ------                               102.4/536.2 kB 658.3 kB/s eta 0:00:01\n",
      "     --------                             122.9/536.2 kB 654.9 kB/s eta 0:00:01\n",
      "     ---------                            143.4/536.2 kB 610.6 kB/s eta 0:00:01\n",
      "     -----------                          174.1/536.2 kB 655.4 kB/s eta 0:00:01\n",
      "     --------------                       215.0/536.2 kB 624.4 kB/s eta 0:00:01\n",
      "     ---------------                      235.5/536.2 kB 627.5 kB/s eta 0:00:01\n",
      "     -----------------                    256.0/536.2 kB 630.2 kB/s eta 0:00:01\n",
      "     -------------------                  297.0/536.2 kB 612.6 kB/s eta 0:00:01\n",
      "     ---------------------                317.4/536.2 kB 634.7 kB/s eta 0:00:01\n",
      "     ------------------------             358.4/536.2 kB 619.5 kB/s eta 0:00:01\n",
      "     --------------------------           389.1/536.2 kB 638.9 kB/s eta 0:00:01\n",
      "     ----------------------------         430.1/536.2 kB 656.0 kB/s eta 0:00:01\n",
      "     ------------------------------       450.6/536.2 kB 640.9 kB/s eta 0:00:01\n",
      "     -------------------------------      471.0/536.2 kB 641.8 kB/s eta 0:00:01\n",
      "     -----------------------------------  532.5/536.2 kB 655.3 kB/s eta 0:00:01\n",
      "     ------------------------------------ 536.2/536.2 kB 647.7 kB/s eta 0:00:00\n",
      "Installing collected packages: mpmath, sympy\n",
      "Successfully installed mpmath-1.3.0 sympy-1.12\n",
      "Note: you may need to restart the kernel to use updated packages.\n"
     ]
    },
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "\n",
      "[notice] A new release of pip is available: 23.1.2 -> 23.2.1\n",
      "[notice] To update, run: python.exe -m pip install --upgrade pip\n"
     ]
    }
   ],
   "source": [
    "%pip install sympy"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "id": "d957b45f-693e-4010-9352-6e336ac94c6f",
   "metadata": {
    "tags": []
   },
   "outputs": [],
   "source": [
    "from sympy import Derivative, Symbol"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "id": "d7acd8d6-952f-4124-89eb-cb7bf527a1c5",
   "metadata": {
    "tags": []
   },
   "outputs": [
    {
     "data": {
      "text/latex": [
       "$\\displaystyle 2 x + 3$"
      ],
      "text/plain": [
       "2*x + 3"
      ]
     },
     "execution_count": 3,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "x = Symbol('x')\n",
    "y = x*x + 3*x + 2\n",
    "\n",
    "# 求导\n",
    "d = Derivative(y, x)\n",
    "d.doit()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "id": "a2fb8ca5-cdaf-4528-a3d5-19c917b68034",
   "metadata": {
    "tags": []
   },
   "outputs": [
    {
     "data": {
      "text/latex": [
       "$\\displaystyle 23$"
      ],
      "text/plain": [
       "23"
      ]
     },
     "execution_count": 4,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "d.doit().subs({x:10})"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "id": "24576625-e15a-4160-a550-c064d409656e",
   "metadata": {
    "tags": []
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "    460 |                                                      /\n",
      "        |                                                     . \n",
      "        |                                                       \n",
      "        |                                                    .  \n",
      "        |                                                   /   \n",
      "        |\\                                                 /    \n",
      "        | \\                                               /     \n",
      "        |  \\                                             /      \n",
      "        |   .                                           /       \n",
      "        |                                              /        \n",
      "    230 |----..---------------------------------------/---------\n",
      "        |      \\                                     /          \n",
      "        |       \\                                   /           \n",
      "        |        \\                                 /            \n",
      "        |         \\                               /             \n",
      "        |          ..                           ..              \n",
      "        |            \\                         /                \n",
      "        |             ..                     ..                 \n",
      "        |               ...               ...                   \n",
      "        |                  ...         ...                      \n",
      "      0 |_______________________________________________________\n",
      "         -20                        0                          20\n"
     ]
    },
    {
     "data": {
      "text/plain": [
       "<sympy.plotting.plot.Plot at 0x1dceeac9750>"
      ]
     },
     "execution_count": 5,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "from sympy.plotting import plot\n",
    "# 作图\n",
    "plot(y, (x, -20, 20))"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3 (ipykernel)",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.11.4"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 5
}
